Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
251	From the book Networks, Crowds, and Markets: Reasoning about a Highly Connected World. By David Easley and Jon Kleinberg. Cambridge University Press, 2010. Complete preprint on-line at http://www.cs.cornell.edu/home/klei Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:38:46 Network theory Sociology Nature Complex systems theory Social information processing Social network Complex system Graph theory Internet Networks Science Structure
252	12th AGILE International Conference on Geographic Information Science 2009 Leibniz Universität Hannover, Germany page 1 of 2 Geographical Information is an Act, not a Fact Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2009-05-12 06:08:02 Information Knowledge Information science Technical communication Semantic Web CIDOC Conceptual Reference Model Formal ontology Geographic information system Knowledge representation and reasoning Ontology Science Knowledge representation
253	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
254	Microsoft Word - AGILE 2005 Final Riedemann[removed]rtf Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2005-04-22 13:29:38 Remote sensing Software GeoMedia Geographic information system ArcGIS Esri Spatial–temporal reasoning Planetary science GIS software Cartography Science
255	12th AGILE International Conference on Geographic Information Science 2009 Leibniz Universität Hannover, Germany page 1 of 2 Spatial Literacy and GIS Learning: Intersections Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2009-05-12 06:06:24 Geographic information science Geographic information system Spatial–temporal reasoning Knowledge Cartography Science Geography
256	Microsoft Word - 70_Word.doc Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2007-04-11 09:35:52 Data Science Knowledge engineering Geographic information system Ontology Knowledge representation and reasoning Resource Description Framework Web Ontology Language Frame language Semantic Web Information Knowledge representation
257	Toward Ontology-based Knowledge Extraction from Web Data with the Lexicalization of Ontology for Korean QA System Younggyun Hahm†, Hee-Geun Yoon‡, Se-Young Park‡, Seong-Bae Park‡, Jungwon Cha, Dosam Hwang†, an Add to Reading List Source URL: semanticweb.kaist.ac.kr Language: English* - Date: 2014-08-07 21:38:50 Science Knowledge representation Information science Knowledge engineering Ontology Knowledge base Knowledge representation and reasoning Data extraction Linked data Technical communication Semantic Web Information
258	An Evolvable Tri-Reasoner IVHM System 1 In Alphabetic Order: Les Atlas (University of Washington), George Bloor (Boeing2 ), Tom Brotherton (IAC), Larry Howard (Institute for Software Integrated Systems), Link Jaw (Scient Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-18 13:25:20 Survival analysis Systems engineering Reasoning Maintenance Prediction Prognostics Semantic reasoner Reliability engineering On-board diagnostics Artificial intelligence Science Knowledge
259	Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System Karolina Eliasson Link¨oping University Department of Computer and Information Science SE[removed]Link¨oping Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:26:17 Inductive reasoning Reasoning Rhetoric Case-based reasoning Critical thinking Dialogue Speech act Dialog system Fiction Science Linguistics
260	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic

UPDATE